Design ware: Software Development by Refinement

Software Development by Refinement

Designware: Software Development by Refinement

This paper presents a mechanizable framework for software development by re nement. The framework is based on a category of higher-order speci cations. The key idea is representing knowledge about programming concepts, such as algorithm design, datatype re nement, and expression simpli cation, by means of taxonomies of speci cations and morphisms. The framework is partially implemented in the r...

SOS-ware [Strategic Open Software] Perspectives

We review the characteristics of strategic software and we try to answer the question whether there can exist open software development that would be able to incorporate these characteristics. Based on this review, and on certain case studies, we present a theory, on how open software might be able to close the gaps in knowledge creation and usage or the reverse, ie. to become a vehicle for an ...

Integrating Refinement into Software Development Tools

It is a challenge for automatic tool support to formal design by refinement transformations. In this paper, we bring this matter to the attention of the research community and discuss a component-based model transformational approach for integrating refinement into software development tools. Models, their consistency and correctness, in an object-oriented and componentbased development process...

System to software level model refinement in embedded system design

Embedded systems refer to systems integrating both hardware and software, which function in a particular applicative environment and are responsible for executing functions like control, monitoring, etc. Nowadays, embedded systems are involved in various application areas like automotive, energy grid, consumer electronics, aeronautics and space vehicles. Usually real-time and communicating syst...